ABSTRACT Most theorem provers for Classical Logic transform the input formula into a particular normal form. This tranformation is done before the execution of the algorithm or it is integrated into the deductive algorithm. This situation is no different for Non-Classical Logics and, particularly, for Temporal Logics. However, unlike classical logic, temporal logic does not provide an extension of the notion of non negative normal form. In this work, we define a temporal negative normal form for the future fragment of (...) the linear time propositional temporal logic, named FNext. The definition saves as much information as possible about implicants and implicates of the input formula and its subformulas. This property is the novelty of this normal form; for example, in [Fis97] the normal form is guided by the separation property and in [Ven86] the normal form provided prepares the input formula to be treated by a resolution method. Moreover, we also introduce an algorithm having linear cost, which transforms the input formula into a temporal negative normal form. Furthermore, in this work we present a new structure and a set of operators over it that allows us to efficiently manage the information about unitary implicants and implicates contained in the subformulae. (shrink)

This book constitutes the refereed proceedings of the European Workshop on Logics in Artificial Intelligence, JELIA 2000, held in Malaga, Spain in September/October 2000. The 24 revised full papers presented together with three invited papers were carefully reviewed and selected out of 60 submissions. The papers are organized in topical sections on knowledge representation, reasoning about actions, belief revision, theorem proving, argumentation, agents, decidability and complexity, updates, and preferences.

IntroductionIncorporating technology in cognitive interventions represents an innovation, making them more accessible, flexible, and cost-effective. This will not be feasible without adequate user-technology fit. Bearing in mind the importance of developing cognitive interventions whose technology is appropriate for elderly people with cognitive impairment, the objective of this systematic review was to find evidence about usability and user experience measurements and features of stimulation, training, and cognitive rehabilitation technologies for older adults with mild cognitive impairment or dementia.MethodThe Medline, PubMed, Scopus, ScienceDirect, (...) and PsycINFO databases were searched for literature published in the last 10 years, and three researchers independently reviewed potentially eligible studies, following specific inclusion criteria. A systematic review of the studies was conducted, presenting a qualitative synthesis of usability and UX measures with their outcomes, study characteristics and features of the cognitive intervention technologies.ResultsTen studies were selected: five were cognitive stimulation and five were cognitive training. Most of them were computer-based programs with a serious game format. Efficiency and effectiveness were the most frequent measurements used for collecting objective usability data, showing that elderly people with cognitive impairment require more time and help but can complete tasks. Regarding UX or subjective usability data, questionnaires and scales were the most used methods, reporting positive experience despite certain difficulties with the interface in five studies.ConclusionMeasuring usability and UX in cognitive intervention technologies for older adults with MCI or dementia provides an integrated view that can contribute to their development according to the needs and characteristics of the target population. More research is required to include this population group in usability and UX studies, as well as standardized tools and consensus on the relationship of these terms to guarantee the future effectiveness of cognitive intervention technologies.Review registrationThis review was registered in the PROSPERO International Register of Systematic Review Protocols. (shrink)

One year later of Duns Scotus Centenary, this paper wants honouring two important medieval philosophy thinkers and specialist in Duns Scotus thought: Antonio Pérez Estévez and Isidoro Guzmán Manzano. Both scotists philosophers checked in their works the concept of freedom from different, but complementary perspectives, and they recover the rationality of the freedom in Scotus form the self-determination fo the will. They answer to many simplistic or ill-disposed interpretations.

Las naciones y pueblos indígenas presentan preocupantes índices respecto a la salud, así como otras carencias como la pérdida de sus tierras, la alimentación, la educación y, en general, el ejercicio de sus derechos, consagrados por organizaciones internacionales como la ONU y la OMS-OPS. En Ecuador, de acuerdo con el orden jurídico constitucional, se han instrumentado políticas de salud que incluyen el lineamiento general de un enfoque intercultural de la atenciónprimaria que incorpora los saberes y prácticas ancestrales. Mediante una revisión (...) documental se examina la situación actual de la salud y la atención primaria entre las etnias indígenas del Ecuador. De este análisis se desprenden consideraciones para las políticas públicas de salud, la formación intercultural de los profesionales de los equipos de salud y, en especial, la articulación de las creencias, saberes y prácticas de la cultura de las etnias para la atención primaria de salud. Palabras Clave: Etnia, nacionalidad indígena, pueblo indígena, derecho a la salud, atención primaria. Referencias [1]Asamblea General de la Organización de las Naciones Unidas, «Resolución 48/134 de la Asamblea General de las Naciones Unidas sobre los Derechos de los pueblos y naciones indígenas,» de Asamblea General Resolución 48/134, New York, 2009. [2]Organización Panamericana de la Salud, «Derechos Humanos y Salud de los pueblos indígenas,» Organización Panamericana de la Salud, New York, 2008. [3]Alto Comisionado para los Derechos Humanos de la Organización de las Naciones Unidas, Declaración de las Naciones Unidas sobre los derechos de los pueblos indígenas. Manual para las instituciones nacionales de Derechos Humanos, Nueva York: Alto Comisionado de los Derechos Humanos de la Organización de las Naciones Unidas, 2013. [4]C. Torres Parodi y M. Bolis, «Evolución del concepto etnia/raza y su impacto en la formulación de políticas públicas para la equidad,» Revista Panamericana de Salud Pública, vol. 22, nº 3, pp. 405-414, 2007. [5]IIDH-OPS, «Salud indígena y derechos humanos,» OPS, Quito, 2006. [6]Organización Panamericana de la Salud, «Iniciativa de la Salud para los Pueblos Indígenas. Lineamientos estratégicos. Plan de acción 2003-2007,» Organización Mundial de la Salud, Quito, 2003. [7]Consejo Mundial de las Iglesias, «Segunda Asamblea Mundial de la Salud de los Pueblos,» Consejo Mundial de las Iglesias, Quito, 2005. [8]Grupo Internacional de Trabajo sobre asuntos indígenas, Instituto de Promoción de Estudios Sociales, Fundación Diversidad, «El Derecho a la Salud de los pueblos indígenas en aislamiento y en contacto inicial,» Grupo Internacional de Trabajo sobre Asuntos Indígenas, Quito, 2007. [9]Organización Panamericana de la Salud, «Salud de los pueblos indígenas de las Américas,» OPS, Quito, 1998. [10]Organización Inernacional del Trabajo, «Convenio número 169 de la OIT. sobre pueblos indígenas y tribales: hacia un futuro inclusivo, sostenible y justo.,» OIT, New York, 2019. [11]L. Almeida Vera, «Fundamentación del modelo de gestión intercultural ecuatoriana en la atención primaria desalud,» Medisam, vol. 8, nº 18, pp. 46-61, 2014. [12]Organización Internacional del Trabajo, «Implementación del Convenio núm 169 de la OIT sobre los pueblos indígenas y tribales: Hacia un futuro inclusivo, sostenible y justo,» OIT, New York, 2019. [13]C. Eysaguirre, Proceso de incorporación de la medicina tradicional, alternativa y complementaria en las prácticas oficiales de la salud. Tesis Magister Antropología, Lima: Universidad Nacional Mayor de San Marcos, 2016. [14]Organización de las Naciones Unidas para la Agricultura y la Alimentación, «Sobre la salud y la seguridad de los pueblos indígenas en riesgo debido al coronavirus,» FAO, New York, 2020. [15]Enlace Continental de Mujeres Indígenas de las Américas, Alianza de Mujeres Indígenas de Centroamérica y México, Red de Mujeres Indígenas Asiáticas, Organización de Mujeres Indígenas Africanas, «Llamado colectivo de las mujeres indógenas ante el COVID 19. Foro Internacional de Mujeres Indígenas,» ONU, New York, 2020. [16]Laboratorio de interculturalidad FLACSO Ecuador, Etnohistoria de los pueblos y nacionalidades originarias del Ecuador, Quito: FLACSO Ecuador, 2015. [17]UNICEF, Nacionalidades y pueblos indígenas. Políticas interculturales en Ecuador, Quito: UNICEF, 2009. [18]República del Ecuador, «Constitución de la República del Ecuador,» de 2008, Quito, 2008. [19]S. Ramírez Hita, «Políticas de salud basadas en el concepto de multiculturalidad: los centros de salud intercultural en el altiplano boliviano,» Avá Revista de Antropología, vol. 14, nº 2, pp. 1-28, 2009. [20]E. Arteaga, M. San Sebastián y A. Amores, «Construcción participativa de indicadores de la implementación del modelo de salud intercultural en el cantón Loreto, Ecuador,» Saúde em Debate, vol. 36, nº 94, pp. 402-413, 2012. [21]L. Véliz Rojas, A. Bianchetti Saavedra y M. Silva Fernández, «Competencias interculturales en la atención primaria de salud: un desafío para la educación superior frente a contextos de diversidad cultural,» Cuadernos de Saúde Pública, vol. 35, nº 1, pp. 62-71, 2019. [22]C. Walsh, Interculturalidad: Estado, sociedad: luchas decoloniales de nuestra época, Quito: Abya Yala UASB, 2015. [23]E. Ortiz Prado y G. Ceballos Serra, «Marco estratégico para la protección de los pueblos indígenas en aislamiento voluntario y contacto inicial. Consultoría sobre situación de salud de los pueblos indígenas en aislamiento y contacto inicial en el Ecuador,» Organización del Tratado de Cooperación Amazónica, Quito, 2014. [24]J. Betancurt, A. Green, J. Carrillo y Anane-Firempong, «Defining Cultural competence: a practical framework for adressing racial/ethnic disparities in health and health care,» Public Health, vol. 118, nº 2, pp. 293-302, 2016. [25]R. Ceballos, A. Amores y R. Rojas, Prestación de servicios de salud en zonas con pueblos indígenas, Quito: Programa Regional de Salud de los Pueblos Indígenas, 2009. [26]L. Pereira de Melo, «A contemporaneidade da teoría do cuidado cultural de Madeleine Leininger: una perspectiva geohistórica,» Ensaios e Ciencia: ciencias biológicas, agrarias e da Saúde, vol. 14, nº 2, pp. 21-32, 2010. [27]C. Rohrbach-Viadas, «Introducción a la teoría de los cuidados culturales enfermeros de la diversidad y la universalidad de Madeleine Leininger,» Revista Cultura del cuidado, vol. 2, nº 3, pp. 32-46, 1998. [28]O. Aguilar Guzmán, I. Carrasco González, M. García Piña, A. Saldívar y R. Ostiguín Meléndez, «Madeleine Leininger: análisis de sus fundamentos teóricos,» Revista de Enfermería Universitaria, vol. 4, nº 2, pp. 26-32, 2007. (shrink)

Desde una plataforma mental poco convencional, el enfoque del caos y la complejidad, el autor de este libro aventura una novedosa hipótesis interpretativa del fenómeno climático global. Plantea que la civilización del consumismo logró romper la dinámica natural de los ciclos orden caos, y abrió camino, durante la segunda mitad del siglo XX, a un segundo ciclo caos que podría llevarnos a la catástrofe que han advertido los científicos y estudiosos del tema.Manuel Guzmán Hennesy se plantea apor..

Academics are confronted with multiple and conflicting narratives as to what it is to be an academic. Their identities, however, are not entirely of their own making. Through a qualitative study, and deploying a social realist perspective, this paper analyses academic identities in Chile and attempts to locate the patterns of identity in the context of a marketised higher education system. The data were collected in both a state and a private university. The results suggest that distinct kinds of fragilities (...) may be emerging among Chilean academics (ontological and contractual fragilities). These two fragilities can be traced to the attendant structures of the university system at an institutional level (reputational fragility in the public sector and a branding fragility in the private sector). The paper concludes by observing that, although the power of the structures is considerable, there are still spaces for agentic responses. (shrink)

La arqueología ha revelado recientemente la existencia de una importante revitalización urbana en Córdoba durante el Califato Almohade, apenas tratada hasta ahora por la historiografía, centrada principalmente en su pasado omeya. Por un lado, se ha observado una importante inversión del poder almohade en elementos defensivos y palatinos, acaso por tratarse en estas fechas de un centro fundamental en la conceptualización histórica de al-Andalus y en la lucha contra los reinos cristianos; por otro, se ha documentado un importante crecimiento orgánico (...) y privado extramuros. Todo ello coincidió con su elección como capital andalusí en 557/1162 por ‘Abd al-Mu’min, lo que suponía un hito fundamental para la legitimación de su nuevo califato. Tras su muerte pocos meses después, Abū Ya‘qūb Yūsuf hizo regresar la corte a Sevilla, creando un importante cambio de rumbo en la política almohade que no afectó al resurgir urbano de la antigua sede omeya. En realidad, Córdoba seguiría muy presente en la mentalidad colectiva andalusí durante el gobierno almohade, manteniéndose como referente principal del esplendor pasado y como núcleo esencial de la tradición mālikī. (shrink)

Se analiza la apuesta ontológica de Arturo Escobar a partir de dos formas en las que esta se expresa, para vislumbrar los alcances y limitaciones de esta concepción ontológica. La primera concepción radica en lo que el autor denomina ontología relacional y la segunda versa en la llamada ontología política. El texto está dividido en cuatro apartados, el primero introduce al lector a lo que representa la pregunta por el ser, haciendo hincapié en Martin Heidegger. El segundo expone brevemente el (...) contexto que se puede evidenciar en la apuesta académica del antropólogo colombiano a través del giro ontológico, desarrollado desde la antropología, en el que se destaca una crítica al paradigma occidental dualista naturaleza/cultura y, a su vez, de la teoría decolonial que denuncia a la Modernidad y la vigencia de la colonialidad de ser, para así poder comprender la propuesta de la ontología relacional de Escobar. El tercer apartado expresa desde las categorías de territorio y pluriverso una premisa fundamental: pensar lo político presupone una ontología, es decir, una visión de mundo sobre lo que es y está, de esta manera se articula el proyecto de la ontología desde la relacionalidad con luchas que reivindican los mundos y los derechos de las comunidades; en el cuarto y último apartado se exponen los alcances y límites de la ontología de Escobar, así como caminos posibles para considerar en investigaciones futuras. (shrink)

The Cooperative Extension System serves as the conduit through which scientific knowledge generated by the 130 land-grant colleges and universities in the United States is translated and delivered directly to its constituents. Since its inception over 100 years ago, Extension has been integral in developing, delivering, and applying cutting-edge knowledge in agriculture and natural resources, youth development, family and consumer sciences, and community and rural development. Today, more than ever, Extension will need to lead the way in building and maintaining (...) sustainable partnerships across disciplines and with organizations at the local, state, and national levels to tackle complex issues considering diminishing resources. Bringing together leading and emerging scholars, this volume discusses how Extension is addressing issues and opportunities relevant to children, youth, families, and communities across the country both now and in the future. Topics include Extension's role in supporting childcare, social media use, entrepreneurship, rural communities, and underserved audiences. (shrink)

The purpose of this paper is to present a formalization of the language, semantics and axiomatization of justification logic in Coq. We present proofs in a natural deduction style derived from the axiomatic approach of justification logic. Additionally, we present possible world semantics in Coq based on Fitting models to formalize the semantic satisfaction of formulas. As an important result, with this implementation, it is possible to give a proof of soundness for $\mathsf{L}\mathsf{P}$ with respect to Fitting models.

This paper argues that epistemic errors rooted in group- or identity- based biases, especially those pertaining to disability, are undertheorized in the literature on medical error. After sketching dominant taxonomies of medical error, we turn to the field of social epistemology to understand the role that epistemic schemas play in contributing to medical errors that disproportionately affect patients from marginalized social groups. We examine the effects of this unequal distribution through a detailed case study of ableism. There are four primary (...) mechanisms through which the epistemic schema of ableism distorts communication between nondisabled physicians and disabled patients: testimonial injustice, epistemic overconfidence, epistemic erasure, and epistemic derailing. Measures against epistemic injustices in general and against schema-based medical errors in particular are ultimately issues of justice that must be better addressed at all levels of health care practice. (shrink)

El presente texto versa sobre la reflexión teórica del ser de la mujer latinoamericana desde una perspectiva dusseliana, de manera que el objetivo del artículo radica en la comprensión filosófica de lo que significa ser y estar como mujer latinoamericana, además de concebir los aportes y retos que nutren dicha reflexión. Por tal motivo se encontrará: primero una justificación de la pertinencia de esta reflexión mediante una breve contextualización de la situación actual de la mujer en América Latina; segundo, una (...) síntesis del aporte de Enrique Dussel que, sin duda alguna, es un análisis que nace del método analéctico ; tercero, dado que el reto está en dilucidar la afirmación del ser que ha sido negado para llegar a comprenderlo, propongo tres postulados que retroalimentan el problema de investigación. (shrink)

Este artículo presenta una reflexión política acerca del VIH-sida, estructurada en cuatro momentos: primero, una aproximación a las políticas de la vida donde se devela el actuar de la necropolítica, el biopoder, la biopolítica y biolegitimidad en relación con el VIH-sida; segundo, se aborda una antropología política del cuerpo, la cual advierte las distintas formas de poder, violencia y verdad que experimentan las personas que viven con VIH-sida; tercero, un acercamiento al modo en que se reproduce una economía moral del (...) castigo, donde se articulan elementos normativos, médico-sanitarios, de la vida, el cuerpo y la sociedad; cuarto, se propone repolitizar el VIH-sida, a fin de brindar insumos que permitan construir un orden social diferente para las personas que viven con dicha realidad. (shrink)

In this paper we prove that the free algebras in a subvariety equation image of the variety equation image of semi-Heyting algebras are directly decomposable if and only if equation image satisfies the Stone identity.

The central aim of the present investigation is to shed light on Nietzsche’s understanding of happiness and a good life, starting from Nietzsche’s appropriation of Plato’s and Aristotle’s doctrine of a hierarchy of human beings and forms of life.

The rise of foundational dualism and the eclipse of the body -- "Body am I entirely, and nothing else": non-reductive materialism and the struggle against dualism -- Toward a materialist phenomenology of religion -- The phenomenology of embodiment and the study of religion -- Religious bodies as social artifacts -- Holding social constructionism in check: the recovery of the active, lived body -- A cultural neurophenomenology of religion: enter the embodied mind -- The eclipse of practice: textualism at large -- (...) "Ceci n'est pas un texte": from textualism to practice -- Expanding the conversation on emplaced religion -- Mobility, networks, and ecology. (shrink)

La pena natural es una situación paradójica que se puede presentar cuando el autor de un delito, al cometerlo o a causa de éste, ha sufrido un daño igual o mayor al que padecería si el juez de la causa le aplicara la pena estatal prevista para tal conducta. Se da con frecuencia al juzgar ciertos accidentes viales, cuando el acusado ya carga el peso de ser quien, por imprudencia, mató a su pareja o familiar cercano, por ejemplo. Pero ¿en (...) qué situaciones y cómo cabe recurrir a la pena natural? En esta investigación, Manuel Serrano explora las diversas aristas y posturas en pugna que atraviesan este tema, donde se cruzan cuestiones como la idea de la “culpa compensada”, la prohibición de aplicar castigo doble por un mismo hecho (non bis in idem) y la clemencia judicial. El autor desmonta la estructura conceptual de la pena natural, estudia jurisprudencia argentina y recorre producciones teóricas de juristas que se han preocupado por este asunto complejo, profundo y poco abordado del derecho penal. (shrink)

The use of black box algorithms in medicine has raised scholarly concerns due to their opaqueness and lack of trustworthiness. Concerns about potential bias, accountability and responsibility, patient autonomy and compromised trust transpire with black box algorithms. These worries connect epistemic concerns with normative issues. In this paper, we outline that black box algorithms are less problematic for epistemic reasons than many scholars seem to believe. By outlining that more transparency in algorithms is not always necessary, and by explaining that (...) computational processes are indeed methodologically opaque to humans, we argue that the reliability of algorithms provides reasons for trusting the outcomes of medical artificial intelligence. To this end, we explain how computational reliabilism, which does not require transparency and supports the reliability of algorithms, justifies the belief that results of medical AI are to be trusted. We also argue that several ethical concerns remain with black box algorithms, even when the results are trustworthy. Having justified knowledge from reliable indicators is, therefore, necessary but not sufficient for normatively justifying physicians to act. This means that deliberation about the results of reliable algorithms is required to find out what is a desirable action. Thus understood, we argue that such challenges should not dismiss the use of black box algorithms altogether but should inform the way in which these algorithms are designed and implemented. When physicians are trained to acquire the necessary skills and expertise, and collaborate with medical informatics and data scientists, black box algorithms can contribute to improving medical care. (shrink)

This paper is devoted to the study of some subvarieties of the variety Q of Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q subscript 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Q is far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q subscript 3 and we construct (...) the lattice of subvarieties lambda (Q subscript 3) of the variety Q subscript 3. (shrink)

Barrero, Tomás Andrés. “Aserción, expresión y acción. Una lectura de J. L. Austin.” Dianoia 60.74 (2015): 81-107.

En este breve comentario discuto algunos aspectos de la interpretación de la epistemología de Davidson que sugiere Willian Duica en su reciente libro. Luego de una presentación somera del libro me centro en tres asuntos centrales de la interpretación de Duica. En primer lugar, argumento que su lectura de la crítica de Davidson al dualismo esquema/contenido es muy restrictiva y deja abierta la posibilidad de un realismo directo empirista. En segundo lugar, argumento que en su lectura el propio Duica se (...) compromete inadvertidamente con un empirismo de este tipo y, de este modo, su interpretación entra en tensión con el coherentismo de Davidson. Finalmente, discuto algunos aspectos de la interpretación que hace Duica de la tesis davidsoniana de la triangulación. In this short comment I discuss some aspects of William Duica's interpretation of Davidson's epistemology in a recent book. After a brief review of the book, I focus on three central issues of Duica's interpretation. First, I argue that his reading of Davidson's criticism of the scheme/content dualism is too restrictive and leaves open the possibility of an empiricist direct realism. Second, I argue in his reading Duica inadvertently commits himself to an empiricism of this sort and, as a result, his interpretation is in tension with Davidson's own coherentism. Finally, I discuss some aspects of Duica's interpretation of Davidsonian triangulation. (shrink)

This paper discusses the logical space of alternative conceptual engineering projects, with a specific focus on (1) the processes, (2) the targets and goals, and (3) the methods of such projects. We present an overview of how these three aspects interact in the contemporary literature and discuss those alternative projects that have yet to be explored based on our suggested typology. We show how choices about each element in a conceptual engineering project constrain the possibilities for the others, thereby giving (...) rise to distinct groupings of possible projects under the banner of conceptual engineering. We conclude with a critical reflection on the potential ethical issues that arise as a result of effectively putting conceptual engineering into practice. (shrink)

A satisfactory construal of the subject matter of free will debates must allow for disagreements along two axes. First, it must allow for the possibility of higher order disagreements, or disagreements about what concepts, phenomena, or practices an account of free will is supposed to capture or explain. Second, it must allow for the fact of variation in the extent to which theories are bound by antecedent pre-philosophical thought, talk, and practices. A promising way of accommodating these two thoughts is (...) to treat free will in broadly functionalist terms. On the account proposed here, free will is a power that makes sense of everyday responsibility practices. This construal is not widely shared, but it allows for the possibility that we might have false beliefs about the nature of free will, while still making sense of central philosophical debates about free will. (shrink)

The variety O2 of double Ockham algebras consists of the algebras (A ∨, ∧, f,g 0,1) of type (2,2,1,1,0,0) where (A; ∨, ∧,f, 0,1) and (A; ∨, ∧,g 0,1) are Ockham algebras. In [16], M. Sequeira introduced several subvarieties of O2. In this paper we give a construction of free double Ockham algebras on a partially ordered set. We also describe free objects for the subvarieties of O2 considered in [16].

La investigación aborda el dilema que implica la relación entre economía y ética, el cual se deriva de la separación entre filosofía moral y economía positiva. Analizarlo a través de la teoría del bienestar permite acercarse a los preceptos de un cognitivismo ético o de psicología moral, mediante una propuesta distinta de individuo representativo. La finalidad es ofrecer algunos elementos para observar a la economía desde otra perspectiva, al estrechar los lazos teóricos con la ética.